Software construction - PDFSEARCH.IO - Document Search Engine

Software construction
Results: 3327

#	Item
881	Formalizing the LLVM Intermediate Representation for Verified Program Transformations ∗ Jianzhou Zhao Santosh Nagarakatte Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-01-05 09:49:14 Data types Type theory Compiler construction Primitive types Cross-platform software LLVM Type safety Blocks Pointer Software engineering Computing Computer programming
882	Knowledge Acquisition by Symbolic Decision Tree Induction for Interpretation of Digital Images in Radiology Add to Reading List Source URL: www.data-mining-tutorial.de Language: English - Date: 2009-10-09 07:20:22 Attribute grammar Compiler construction Parsing Attribute Software engineering Binary tree Statistical hypothesis testing Pruning Statistics Decision trees Computing
883	The Chief Estimator Software Item Cost Summary Bridge & Overpass Projects Item Cost Summary Bridge & Overpasses Item Cost Summary Add to Reading List Source URL: www.infrastructurecost.com Language: English - Date: 2012-08-06 10:28:56 Precast concrete Reuse Deep foundation M2 Construction Concrete Structural engineering Civil engineering
884	A Computer Language Transformation System Capable of Generalized Context-Dependent Parsing by Adrian D. Thurston Add to Reading List Source URL: www.colm.net Language: English - Date: 2008-12-15 22:45:48 Programming language theory Compiler construction Parsing LR parser TXL Earley parser CYK algorithm Formal grammar Programming language Formal languages Combinatorics Software engineering
885	Microsoft Word - 5-semantic.doc Add to Reading List Source URL: www.mli.gmu.edu Language: English - Date: 2012-12-17 13:37:53 Programming paradigms Data modeling Object-oriented programming Attribute grammar Compiler construction Parsing EXPRESS Attribute Data mining Computing Software engineering Computer programming
886	Institut für Systemsoftware O.Univ.Prof. Dr. Hanspeter Mössenböck SPARC Backend for Graal Master thesis for Stefan Anzinger Matr.-Nr.: ... Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2014-03-10 05:52:06 Compiler construction Virtual machines HotSpot Java virtual machine Compiler Just-in-time compilation Java Software Computing System software
887	Joeq: A Virtual Machine and Compiler Infrastructure John Whaley Computer Systems Laboratory Stanford University Stanford, CA 94305 Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2004-01-06 20:12:34 Compiler construction Cross-platform software Java programming language Programming language implementation Computing platforms Java virtual machine Java bytecode Java Just-in-time compilation Computing Software engineering Software
888	Perkins B Spinnaze,Finding Museum lnformation in the Internet.. At the same time the intellectual construction of DC has been taking place software and tools have been created and an enthusiasm for the potentlal utilit Add to Reading List Source URL: www.archimuse.com Language: English - Date: 2011-09-09 18:19:17 Semantic Web Computing Metadata Technical communication Dublin Core Resource Description Framework Resource XML Publishing Requirements for Industry Standard Metadata Information Data Knowledge representation
889	software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m Mock Objects Dave T Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:44:24 Software testing Extreme programming Software design patterns Object-oriented programming Java platform Mock object Test-driven development Unit testing Java Servlet Software development Computing Software
890	HILTI: An Abstract Execution Environment for Deep, Stateful Network Traffic Analysis Robin Sommer Matthias Vallentin Add to Reading List Source URL: www.icir.org Language: English - Date: 2014-09-04 13:34:27 Compiler construction LLVM Compiler Parsing Hilti Firewall D Communications protocol Bytecode Computing Software engineering Software

UPDATE